(C) @DanielSWolf 2015
Console progress bar. Code is under the MIT License: http://opensource.org/licenses/MIT
Translation to Visual Basic .NET by @vain0 is under the Public Domain.
vain0x
/ Layout.elm
Created
April 15, 2024 11:53
— forked from pchiusano/Layout.elm
Annotated layout trees
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Elmz.Layout where | |
| import List | |
| import Array (Array) | |
| import Either(..) | |
| import Graphics.Element as E | |
| import Graphics.Element (Direction, Element, Position) | |
| type Pt = { x : Int, y: Int } |
vain0x
/ Main.hs
Created
December 12, 2022 17:06
— forked from aradarbel10/Main.hs
A minimalistic example of bidirectional type checking for system F
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE StrictData, DerivingVia, OverloadedRecordDot #-} | |
| {- | |
| (compiled with GHC 9.4.2) | |
| -} | |
| {- | |
| HEADS UP | |
| this is an example implementation of a non-trivial type system using bidirectional type checking. | |
| it is... |
vain0x
/ LICENSE.md
Last active
November 4, 2022 23:38
— forked from DanielSWolf/Program.cs
Console progress bar (for VB.NET)