View HigherOrderedShapes.cs
using System; | |
using System.Collections.Generic; | |
using System.Linq; | |
namespace Test | |
{ | |
class Program | |
{ | |
static void Main(string[] args) | |
{ |
View Program.cs
using System; | |
namespace ConsoleApp | |
{ | |
class Program | |
{ | |
static void Main() | |
{ | |
var a = 1; | |
{ |
View Program.cs
using System; | |
using System.Collections.Generic; | |
using System.IO; | |
using System.Linq; | |
using System.Reflection; | |
using System.Text; | |
using System.Threading.Tasks; | |
using Microsoft.AspNetCore.Razor.Language; | |
using Microsoft.CodeAnalysis; | |
using Microsoft.CodeAnalysis.CSharp; |
View RowTraversable.purs
module Main where | |
import Prelude | |
import Control.Parallel (class Parallel, parallel, sequential) | |
import Data.Maybe (Maybe(..)) | |
import Data.Symbol (class IsSymbol, SProxy(..)) | |
import Effect (Effect) | |
import Effect.Class.Console (logShow) | |
import Prim.Row as Row |
View Existential.purs
module Main where | |
import Prelude | |
import Data.Exists (Exists, mkExists, runExists) | |
import Data.Foldable (traverse_) | |
import Data.Maybe (Maybe(..)) | |
import Effect (Effect) | |
import Effect.Class.Console (log) |
View Nat.purs
module Data.Typelevel.Nat where | |
import Prelude | |
import Data.Symbol (SProxy(..)) | |
import Prim.Symbol as Symbol | |
class IsNat nat where | |
reflectNat :: SProxy nat -> Int |
View Program.cs
using System; | |
namespace Sandbox | |
{ | |
class Program | |
{ | |
static void Main(string[] args) | |
{ | |
var x = 1; | |
{ |
View Base32Encoding.cs
using System; | |
using System.Buffers.Binary; | |
using System.Runtime.CompilerServices; | |
namespace Base32 | |
{ | |
public class Base32Encoding | |
{ | |
[MethodImpl(MethodImplOptions.AggressiveInlining)] | |
public string Encode(ReadOnlySpan<byte> bytes) |
View Main.purs
module Main where | |
import Prelude | |
import Data.Maybe (Maybe(..)) | |
import Data.Symbol (SProxy(..)) | |
import Effect (Effect) | |
import Effect.Class (class MonadEffect) | |
import Effect.Class.Console (log) | |
import Halogen (raise) |
View DebugOutputStream.cs
using System; | |
using ParsecSharp; | |
namespace ParsecSharp.Utils | |
{ | |
public class DebugOutputStream<TToken> : IParsecStateStream<TToken> | |
{ | |
public enum MoveState { Backward, Stay, Forward } | |
private class Cursor |