This repository was archived by the owner on May 27, 2024. It is now read-only.

mateiadrielrafael / skylang Public archive

forked from prescientmoon/skylang

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Attempt at implementing dependent-elaboration with implicit-arguments

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
examples		examples
src		src
test		test
.gitignore		.gitignore
.prettierrc.json		.prettierrc.json
README.md		README.md
package.json		package.json
packages.dhall		packages.dhall
pnpm-lock.yaml		pnpm-lock.yaml
spago.dhall		spago.dhall
tsconfig.json		tsconfig.json

Repository files navigation

🚧 This repo has been moved to prescientmoon/skylang 🚧

About

Attempt at implementing dependent-elaboration with implicit-arguments

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

PureScript 79.8%
TypeScript 17.4%
Dhall 2.2%
Nearley 0.6%