piyush-kurur/ghc-staticptr-experiments piyush-kurur/ghc-staticptr-experiments

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
piyush-kurur/ghc-staticptr-experiments
github

piyush-kurur

Reviews

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

Repository Details

Experimental code that checks some features of static ptr in GHC

More Repositories

1

yesod-admin

Abandoned: An yesod based admin for persistent objects
Haskell
16
star
2

funda

FUNctional DAtabase
3
star
3

hackers-revenge

Surviving tasteless, mindless "input forms" one org file at a time.
2
star
4

sample-code

This repository contains a collection of sample programms in various languages mainly to serve as illustrations
Agda
2
star
5

hott

My experiments with HoTT
Agda
2
star