Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for html agda
agda
x
html
x
4 search results found
Next 700 Module Systems
⭐
69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Agdacheatsheet
⭐
33
Basics of the dependently-typed functional language Agda ^_^
Popl19 Tutorial
⭐
23
Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
Ohrid19 Agda
⭐
13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Related Searches
Javascript Html (53,392)
Html Css (19,526)
Python Html (11,009)
Html Bootstrap (5,651)
Php Html (5,615)
Html Theme (5,550)
Html Jekyll (5,387)
Html Jquery (5,205)
Html Markdown (5,082)
Html Reactjs (4,782)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.