Este sitio web requiere JavaScript.
Explorar
Ayuda
Iniciar sesión
Everything-I-Know-About-Types
/
bergamot
Seguir
1
Destacar
0
Fork
0
Ya ha forkeado bergamot
Código
Incidencias
Pull Requests
Paquetes
Proyectos
Lanzamientos
Wiki
Actividad
14
Commits
1
Rama
0
Etiquetas
master
Ir al archivo
Añadir archivo
Nuevo Archivo
Subir archivo
Aplicar parche
Código
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Descargar ZIP
Descargar TAR.GZ
Descargar BUNDLE
Danila Fedorin
d8dd005f54
Try using tail recursion to reduce stack pressure
2023-10-15 17:34:15 -07:00
src
Try using tail recursion to reduce stack pressure
2023-10-15 17:34:15 -07:00
test
Extract latex generation to a typeclass
2023-03-11 16:41:52 -08:00
.gitignore
Initial commit + basic Expr impl
2023-02-28 19:44:24 -08:00
packages.dhall
Try using tail recursion to reduce stack pressure
2023-10-15 17:34:15 -07:00
spago.dhall
Try using tail recursion to reduce stack pressure
2023-10-15 17:34:15 -07:00
Descripción
A tiny little logic programming language
67
KiB
Languages
PureScript
77.3%
Dhall
22.7%
