Code

Tactic morphism#60

Code

Open

marcosh wants to merge 2 commits intomasterstatebox/idris-ct:masterfrom tactic-morphismstatebox/idris-ct:tactic-morphismCopy head branch name to clipboard

+146

Commits

Commits on Nov 5, 2019

• Add morphism tactic

  

  WhatisRT

  authored and

  marcosh

  committed
  8b37faa

• Liveshare stuff added.

  

  FabrizioRomanoGenovese

  authored and

  marcosh

  committed
  d463983