Popular repositories Loading

1. agda-software-foundations agda-software-foundations Public

   Porting of software foundations book to Agda

   Agda 36 5

2. unification unification Public

   Formalisation of a type unification algorithm in Coq proof assistant.

   Coq 18 1

3. idrisregexp idrisregexp Public

   Regular expression matching in Idris

   Idris 11 2

4. pcc116-2021-2 pcc116-2021-2 Public

   JavaScript 10 1

5. apostila-discreta apostila-discreta Public

   Material para Matemática Discreta

   TeX 9 4

6. type-theory type-theory Public

   Being the materials of type theory course at UFOP

   Haskell 8