luisvgs/andre-tt luisvgs/andre-tt

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 2 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
luisvgs/andre-tt
github

luisvgs

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Small ML-like language with dependent types and universe herarchy. Inspired by Andrej Bauer's implementation

More Repositories

1

evidence

A CLI tool for easily tracking and visualizing the latest bugs reported.
Scala
2
star
2

luisvgs.github.io

My personal blog page.
HTML
1
star
3

typeinf

HM Type inference experiments
Rust
1
star
4

portfolio

My web portfolio.
JavaScript
1
star
5

conway

Small scripting programming language.
Rust
1
star
6

ra-updater.sh

Automatically updates rust-analyzer whenever a new version is available (only stable versions).
Shell
1
star
7

vimers

A Telegram bot that fetches tips and tweets from @vim_tricks. It is possible to visualize the data from terminal as well if preferred.
Rust
1
star