vfrinken's repositories
OKN-LLM-WG
NSF OKN LLM Working Group
000
Idris2-RefC-Coronado
An alternative to the Idris2 RefC backend
Language:C000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
Language:Idris000
Language:Idris000
segFaultInIdris
An example to invoke a segmentation fault in Idris
Language:Idris000