Skip to content
@lambda-pi-plus

lambda-pi-plus

Popular repositories Loading

  1. lambda-pi-plus lambda-pi-plus Public

    A simple Depdently-Typed Language for Research and Learning

    Haskell 57 2

  2. lambda-pi-plus.github.io lambda-pi-plus.github.io Public

    Hosting for the online LPP compiler

    JavaScript

Repositories

Showing 2 of 2 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…